Aristotelian syllogism